Constraint Based Transformation Theory
نویسنده
چکیده
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. In some cases it might be a solution to implement a completely new system from scratch but in the majority of cases the costs and the risks are too high and a solution for successful software evolution is needed [76]. Nowadays the need for successful software evolution is widely known and there are existing a lot of tools which help to maintain and re-engineer software systems. One of these tools is the "FermaT Transformation System". It helps to comprehend and migrate software applications [69]. This industrial-strength application based on research carried out over the last 20 years. Although the FermaT Transformation System has proven its abilities in many migration projects there are still a lot of issues and the migration needs a lot of human interaction. This literature review will give an overview about the principles and problems of software evolution and discuss the migration of legacy assembler systems via the "FermaT Transformation System". Furthermore it explains the techniques and the theoretical foundation of my approach which based on regular expressions and automaton theory. Document Type Literature Review Author Stefan Natelberg Date 23rd November 2007 Version 1.0 Inspected Prof. Hussein Zedan
منابع مشابه
Constraint Based Transformation Theory Document Type Transfer Report
The migration of a legacy system is one of the most challenging tasks in the area of software evolution. There are existing several different approaches to migrate a legacy system with different advantages and disadvantages. One solution is to translate the software into an intermediate language which spans from the low abstraction level to the very high abstraction level. Once the software has...
متن کاملTransformation-based Indexing Techniques for Constraint Handling Rules
Multi-headed rules are essential for the expressiveness of Constraint Handling Rules (CHR), but incur considerable performance overhead. Current indexing techniques are often unable to address this problem—they require matchings to have particular form, or offer good run-time complexity rather than good absolute figures. We introduce two lightweight program transformations, based on term flatte...
متن کاملAn Automatic Melody Generator based on the Constraint of Chord and Music Knowledge
Music is not an only accompaniment for narratives. It is also a representation medium of narratives. The theme of this paper is proposing a methodology of automatic generation of music as representation medium. First, we describe a system which automatically generates melody lines from a backing based on the constraint of chord and musical knowledge. We regard this as a system based on the harm...
متن کاملApproximating Constraint Propagation in Datalog
We present a technique exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities. Our approach employs a source-to-source program transformation which approximates the propagation technique from Constraint Programming. The experimental evaluation of the approach shows good run time speedups on a range of non-recursive as well as recursive programs....
متن کاملConstraint-based Analysis for Java
| This paper presents constraint-based analysis for Java, and presents a systematic way to design a less costly analysis from an existing analysis. The basic idea is to approximate original set constraints by partitioning their set variables and replacing each set variable in them by the block, to which it belongs. We design a more eecient analysis by transforming the original constraint deriva...
متن کاملA Mathematical Method for Managing the System Constraint
The goal of theory of constraints (TOC) is to maximize output, which is achieved byidentifying and managing the critically constrained resources. To manage the constraints, Goldrattproposed five focusing steps (5FS). If we increase constrained output, the output of system will beincreased. In this paper, we focus on step four of the 5FS and use the remained capacity of nonconstraintto elevate t...
متن کامل